Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
71	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
72	[Revised OctoberDorit Bar-On: Curriculum Vitae Address Add to Reading List Source URL: www.doritbar-on.com Language: English - Date: 2015-10-04 08:52:02 Philosophy Semantics Analytic philosophers Philosophical logic Meta-ethics Meaning Tyler Burge Philosophy of language Analytic philosophy Expressivism Internalism and externalism Deflationary theory of truth
73	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 232 DATE: AUGUST 1, 2016 PROJECT DP0068 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:18:37 Logic Linguistics Analytic philosophy Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics
74	Preliminary Remarks on Truth Crispin Sartwell Truth is reality, and persons are parts of reality. We are traversed and transfixed by other bits, in processes such as perception and communication, as also in movement, ing Add to Reading List Source URL: american-philosophy.org Language: English - Date: 2008-06-16 16:37:23 Philosophy Logic Philosophy of language Philosophical logic Meaning Theories of truth Ontology Truth-bearer Proposition Truth Semantics Proper name
75	ENGLISH FOR INTERNATIONAL STUDENTS UNIT KIBBITZER 26 In Fact Add to Reading List Source URL: www.lexically.net Language: English - Date: 2011-03-23 16:17:12 Human communication Meaning Philosophical logic Philosophy of language Semantics Language Sociology Gender Analytic philosophy Logic Interpersonal communication
76	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 236 DATE: AUGUST 1, 2016 PROJECT DP0080 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:18:34 Logic Linguistics Analytic philosophy Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics
77	Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language
78	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
79	An Introduction to Online and O ine Partial Evaluation Using a Simple Flowchart Language John Hatcli ? Department of Computing and Information Sciences Kansas State University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Software engineering Computer programming Computing Flow chart language Edsger W. Dijkstra Logic in computer science Programming language semantics LOOP Operational semantics Goto Tcl ECL programming language
80	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion

UPDATE